rewrite a problem